Propositional Logic: Necessary And Sufficient